$\forall$$p$:Prop, $d$:Dec($p$). dectt($d$) $\in$ $\mathbb{B}$